41. Bayesian estimation and tracking :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic tracking-- Mathematics.,Bayesian statistical decision theory.,Estimation theory.,Mathematics.
رده :
QA279
.
5
.
H38
2012
42. Boolean functions in cryptology and information security
پدیدآورنده : / edited by Bart Preneel and Oleg A. Logachev
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Algebra, Boolean, Congresses,Cryptography, Congresses,Computer security, Congresses
رده :
E-BOOK
43. C programming :
پدیدآورنده : David R. Brooks.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : C (Computer program language)
رده :
QA76
.
73
.
C15
D385
9999
44. Cognitive Informatics and Soft Computing :
پدیدآورنده : Pradeep Kumar Mallick, Valentina Emilia Balas, Akash Kumar Bhoi, Ahmed F. Zobaa, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Soft computing, Congresses.,Computational intelligence.,COMPUTERS-- General.,Soft computing.
رده :
Q342
45. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
46. Combinatorics, computability and logic :
پدیدآورنده : C.S. Calude, M.J. Dinneen and S. Sburlan, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis -- Congresses.,Computational complexity -- Congresses.,Logic, Symbolic and mathematical -- Congresses.
رده :
QA164
.
C733
2001
47. Common LISP :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : LISP (Computer program language),LISP (Computer program language),TECHNOLOGY & ENGINEERING / Electrical.
رده :
QA76
.
73
.
C28
T68
2015
48. Computability
پدیدآورنده : Martin Davis,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Recursive functions,Unsolvability )Mathematical logic(,Computable functions
رده :
QA
.
D38
9
.
615
1982
49. Computability /
پدیدآورنده : George J. Tourlakis
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions,Recursive functions
رده :
QA9
.
59
.
T68
1984
50. Computability.
پدیدآورنده : Klaus Weihrauch
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
رده :
QA9
.
59
K538
2012
51. Computability
پدیدآورنده : Tourllakis, George J.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
T68
1984
52. Computability
پدیدآورنده : Weihrauch, K.)Klaus(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computable functions,، Recursive functions
رده :
QA
9
.
59
.
W45
1987
53. Computability, an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Computable functions,، Recursion theory
رده :
QA
9
.
59
.
C87
1980
54. Computability, an introduction to recursive function theory
پدیدآورنده : / Nigel Cutland
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
55. Computability : an introduction to recursive function theory
پدیدآورنده : Cutland, Nigel
کتابخانه: (طهران)
موضوع : ، Computable functions,، Recursion theory,، Recursive functions
رده :
QA
9
.
59
.
C87
1980
56. Computability, an introduction to recursive function theory /
پدیدآورنده : Nigel Cutland
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
57. Computability, an introduction to recursive function theory
پدیدآورنده : / Nigel Cutland
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Computable functions,Recursion theory
رده :
QA9
.
59
.
C87
58. Computability, an introduction to recursive function theory
پدیدآورنده : Nigel Cutland,Title
موضوع : Computable functions,Recursion theory
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
59. Computability and logic
پدیدآورنده : Boolos, George.
کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)
موضوع : ، Computable functions,، Recursive functions,، Logic, Symbolic and mathematical.
رده :
QA
9
.
59
.
B6C6
60. Computability and logic
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Computable functions,Recursive functions,Logic, Symbolic and mathematical
رده :
QA9
.
59
.
B66
2002
